home
***
CD-ROM
|
disk
|
FTP
|
other
***
search
/
Developer Source 18
/
Developer Source Volume 18 (I-MODE Publications, Inc.)(2000).iso
/
visua
/
861
/
andrf104.gif
< prev
next >
Graphics Interchange Format
|
1998-10-01
|
22KB
|
395x217
|
4-bit (16 colors)
Labels:
text
|
screenshot
|
display
|
software
|
number
|
line
OCR:
Hoaut iTrade spa -Trade STO2IO || frosch. TradeTo Trade FOND) speri Figure 4: Adding post-condition assertions.